type A<T: ?string = string> = T
